To search, Click below search items.

 

All Published Papers Search Service

Results for Virtual memory; Total 1

Title

Formal Analysis of Distributed Shared Memory Algorithms

Author

Muhammad Atif, Muhammad Adnan Hashmi, Mudassar Naseer, and Ahmad Salman Khan
Citation

Vol. 24  No. 4  pp. 192-196

Keywords

Virtual memory, Distributed Algorithm, Formal Specification, Verification.

[1]